Well-defined expression